Introduction to set constraint-based program analysis

Introduction to Set Constraint-Based Program Analysis

Set-Constraint based Program Analysis: A survey

Making Set - Constraint Program Analyses

Survey of Constraint-based Program Analysis

When writing a program, the programmers may wish to verify certain properties of this program. For example, will my variable X always be an integer? To answer these questions we use program analysis. Constraint-based program analysis is a form of static program analysis. This means that all of these questions about the program’s run-time behavior are answered at compile time. This paper seeks t...

An introduction to interval-based constraint processing

Constraint programming is often associated with solving problems over finite domains. Many applications in engineering, CAD and design, however, require solving problems over continuous (real-valued) domains. While simple constraint solvers can solve linear constraints with the inaccuracy of floating-point arithmetic, methods based on interval arithmetic allow exact (interval) solutions over a ...